Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
software
7
java applications
1
keymaera
1 ?
 21,213,375 websites (safe search)

  1. André Platzer @ Carnegie Mellon University

    Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
    design7
    software7
    download5
    mathematics2
    theory2
    logic2
    computer science2
    verification2
    algebra2
    algorithms1
    Seti1
    Java applets1
    numerical1
    Java applications1
    object-oriented programming1
    computer algebra1
    hybrid systems1
    computing science1
    Java library1
    theorem prover1
    java packages1
    symbolic math1
    algorithmic templates1
    Andre Platzer1
    differential dynamic logic1
    KeYmaera1
    Orbital library1
    Rhythmomachia1

    symbolaris.com - 2009-04-14

  2. André Platzer

    Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
    design7
    software7
    download5
    mathematics2
    theory2
    logic2
    computer science2
    verification2
    algebra2
    algorithms1
    Seti1
    Java applets1
    numerical1
    Java applications1
    object-oriented programming1
    computer algebra1
    hybrid systems1
    computing science1
    Java library1
    theorem prover1
    java packages1
    symbolic math1
    algorithmic templates1
    Andre Platzer1
    differential dynamic logic1
    KeYmaera1
    Orbital library1
    Rhythmomachia1

    www.phlogic.com - 2009-02-12

mathematics2 java4 radius31 .net3 wireless4 application3 games5 thin-client1 analysis3 c++3 management5 j2ee2 oop1 java games2 cell3 numerical1 education5 learning3 phone3 object-oriented programming1 mobile4 control3 math2 flash games2 development5 engineering4

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.